Currently, the widely used notion of activity is increasingly present in computer science. However, because this notion is used in specific contexts, it becomes vague. Here, the notion of activity is scrutinized in various contexts and, accordingly, put in perspective. It is discussed through four scientific disciplines: computer science, biology, economics, and epistemology. The definition of activity usually used in simulation is extended to new qualitative and quantitative definitions. In computer science, biology and economics disciplines, the new simulation activity definition (...) is first applied critically. Then, activity is discussed generally. In epistemology, activity is discussed, in a prospective way, as a possible framework in models of human beliefs and knowledge. (shrink)

In Beyond Physicalism, an interdisciplinary group of physical scientists, behavioral and social scientists, and humanists from the Esalen Institute’s Center for Theory and Research argue that physicalism must be replaced by an expanded scientific naturalism that accommodates something spiritual at the heart of nature.

In Part I we developed a model, called system P, for constructing the physical universe. In the present paper (Part II) we explore the hypothesis that something exists prior to the physical universe; i.e. we suppose that there exists a sequence of projections (and levels) that is prior to the sequence that constructs the physical universe itself. To avoid an infinite regress, this prior sequence must be finite, meaning that the whole chain of creative projections must begin at some primal (...) level which is itself uncreated. So, from this primal level emanates a primal sequence of projections, which yields a first-created system; by definition, there is no creation prior to this first system. Proceeding from this basis, we use the template of our previous work in constructing entities in the physical universe to outline the construction of entities in this first-created system. Next, we seek an interpretation of this first system and its entities. Since our "primal level" is an uncreated state of being from which all creation springs, it draws obvious allusions to the concept of "God". So at this point the model bumps head-on into theology, and we are forced to ask: Is there some metaphysically- or theologically-related work that can help us to interpret this first-created system and its entities? Indeed, such a work, and consequent interpretations, will be put forth --- from which much more then follows. (shrink)

Bernard Lonergan has argued for a theory of cognition that is transcendentally secure, that is, one such that any plausible attempt to refute it must presuppose its correctness, and one that also grounds a correct metaphysics and ontology. His proposal combines an identity theory of knowledge with an intentional relation between knower and known. It depends in a crucial way upon an appropriation of one’s own cognitional motives and acts, that is, upon “knowing one’s own knowing.” I argue that (...) because of conflicts between the identity and intentionality components of the theory, rational self-appropriation cannot, as Lonergan claims, be an iteration of just the same acts by which we acquire other sorts of knowledge. I propose an amended theory in which the relation between intending-subject and intended-object of first-level cognition becomes, in RSA, a numerical identity of knower and known and of the epistemic and the ontological. (shrink)

Louis Pojman and Robert Westmoreland have compiled the best material on the subject of equality, ranging from classical works by Aristotle, Hobbes and Rousseau to contemporary works by John Rawls, Thomas Nagel, Michael Walzer, Harry Frankfurt, Bernard Williams and Robert Nozick; and including such topics as: the concept of equality; equal opportunity; Welfare egalitarianism; resources; equal human rights and complex equality.

Bernard Williams’ books demand an unusual amount of work from readers. This is particularly true of his 1985 magnum opus, Ethics and the Limits of Philosophy (ELP)—a work so charged with ideas that there seems to be nothing more to say, and yet at the same time so pared-down and tersely argued that there seems to be nothing left to take away. Reflecting on the book five years after its publication, Williams writes that it is centrally concerned with a (...) Nietzschean question: the question of philosophy’s authority, in particular when it comes to telling us how to live (1990, p. XIX). Some ethical theories seem implicitly committed to the idea that philosophy has everything to tell us about how to live. This Williams rejects. But the question then is how much philosophy has to tell us, and as critical as Williams may be of philosophy’s ambitions in this regard, his answer in ELP is certainly not nothing. The book even suggests some things that philosophy might say. But what Williams emphatically insists on, both in the book and in his later reflection on it, is that the question needs to be taken more seriously than it has been. (shrink)

It is argued that physics must eventually expand to accommodate mind and consciousness but that this will require a new paradigm. The paradigm required will impinge on two problems on the borders of physics and philosophy: the relationship between physical space and perceptual space and the nature of the passage of time. It is argued that the resolution of both these problems may involve a 5-dimensional model, with the 5th dimension being associated with mental time, and this proposal may relate (...) to recent developments in brane cosmology. A description of consciousness must also entail a proper understanding of the specious present, the minimum timescale of conscious experience, this possibly being associated with a compactified extra dimension. There could even be a hierarchy of levels of consciousness, associated with a hierarchy of extra dimensions. (shrink)

The problem of time involves an overlap between physics, philosophy, psychology and neuroscience. My talk will discuss the role of time in physics but also emphasize that physics may need to expand to address issues usually regarded as being in the other domains. I will first review the mainstream physics view of time, as it arises in Newtonian theory, relativity theory and quantum theory. I will then discuss the various arrows of time, the most fundamental of which is the passage (...) of time associated with consciousness. I will argue that this goes beyond both relativity theory and quantum theory, so that one needs some new physical paradigm to accommodate it. A new paradigm is required anyway to describe quantum gravity and this may elucidate the nature of both time and consciousness. (shrink)

In this paper, I ask whether mishpat ivri (Jewish Law) is appropriately conceived as a “legal system”. I review Menachem Elon’s use of a “Sources” Theory of Law (based on Salmond) in his account of Mishpat Ivri; the status of religious law from the viewpoint of jurisprudence itself (Bentham, Austin and Kelsen); then the use of sources (and the approach to “dogmatic error”) by halakhic authorities in discussing the problems of the agunah (“chained wife”), which I suggest points to a (...) theory more radical than the “sources” theory of law, one more akin to the ultimate phase of the thought of Kelsen (the “non-logical” Kelsen) or indeed to some form of Legal Realism (with which that phase of Kelsen’s thought has indeed been compared)? I finally juxtapose an account based on internal theological resources (a “Jurisprudence of Revelation”). Downloadable at at http://www.biu.ac.il/JS/JSIJ/jsij1.html. (shrink)

Ian Stevenson's achievements lay not only in the corpus of his written works but also in the influence he had on colleagues whom he exhorted to take an interest in the subject from other fields. One of them is Bernard Carr. Stevenson showed much enthusiasm talking about Carr's two experiments with the Cambridge University Society for Psychical Research, one involving an attempt to detect the telepathic transmission of emotion using hypnotized subjects and psychogalvanic skin response and the other was (...) an investigation of the relative roles of telepathy and clairvoyance in extrasensory perception. Stevenson meticulously read and commented on his work and even invited him to visit his group with the intention of preparing reports for publication. Carr was grateful for the passion he instilled in him for psychical research as a result of these experiences. (shrink)

Levi ben Gerson was a medieval astronomer who responded in an unusual way to the Ptolemaic tradition. He significantly modified Ptolemy’s lunar and planetary theories, in part by appealing to physical reasoning. Moreover, he depended on his own observations, with instruments he invented, rather than on observations he found in literary sources. As a result of his close attention to the variation in apparent planetary sizes, a subject entirely absent from the Almagest, he discovered a new phenomenon of Mars and (...) noticed a serious flaw in Ptolemy’s treatment of the Moon. (shrink)

Parapsychology will only be accepted as part of mainstream science if physics can be extended to accommodate at least some so-called psychic phenomena. This paper disagrees with the argument of Reber and Alcock that these phenomena can be excluded a priori because they are incompatible with physics. On the other hand, it agrees with their claim that the phenomena cannot be explained in terms of current physics (eg. relativity theory and quantum theory). Rather one needs an extension of physics which (...) amalgamates these theories, this being an aim of mainstream physics anyway, with the new theory also linking to consciousness if this is regarded as a fundamental rather than incidental feature of the universe. One possible extension involves the idea that perceptual space and physical space are amalgamated as part of a 5-dimensional reality structure, the extra dimension being associated with mental (rather than physical) time. Such a model may be required to accommodate even normal mind and incorporating further dimensions might then allow some paranormal phenomena. This could also relate to the extra dimensions invoked in some models of particle physics. (shrink)

A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When H correctly determines that D correctly simulated by H must be aborted to prevent its own infinite execution then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof. ...

Judgment subjectivism is the view that x is good for S if and only if, because, and to the extent that S believes, under the proper conditions, that x is good for S. In this paper, I offer three related arguments against the theory. The arguments are about what judgment subjectivism implies about the well-being of welfare nihilists, people who believe there are no welfare properties, or at least that none are instantiated. I maintain that welfare nihilists can be benefited (...) and harmed. Judgment subjectivism is implausible because it implies otherwise. (shrink)

We develop an approach to the problem of de se belief usually expressed with the question, what does the shopper with the leaky sugar bag have to learn to know that s/he is the one making the mess. Where one might have thought that some special kind of “de se” belief explains the triggering of action, we maintain that this gets the order of explanation wrong. We sketch a very simple cognitive architecture that yields de se-like behavior on which the (...) action-triggering functionality of the belief-state is what counts it as de se rather than some prior property of being “de se” explaining the triggering of action. This functionality shows that action-triggering change in belief-state also undergirds a correlative change in the objective involved in the triggered action. This model is far too simple to have any claim to showing how the de se works for humans, but it shows, by illustration, that nothing mysteriously “subjective”” need be involved in this aspect of self-conception. While our exposition is very different from those of Perry and Recanati, all three of us are developing the same kind of view. (shrink)

To help clarify the concept of «teaching practice», this article analyzes a repository of professional skills of the teacher. It then examines how two groups of teacher educators attempting to use this repository to evaluate two teaching sessions (one secondary and one primary). Analyses revealed the difficulty in assessing a session from elements determined a priori from a list of skills. The evaluation of a teaching session seems to require the inclusion of its organic whole. Afin de contribuer à préciser (...) la notion de « pratique enseignante », le présent article analyse un référentiel de compétences professionnelles de l’enseignant. Il examine ensuite la manière dont deux groupes de formateurs d’enseignants tentent d’utiliser ce référentiel pour évaluer deux séances d’enseignement (une dans le secondaire et une dans le primaire). Les analyses révèlent la difficulté à évaluer une séance à partir d’éléments déterminés a priori dans une liste de compétences. L’évaluation d’une séance d’enseignement semble requérir la prise en compte de sa totalité organique. (shrink)

Advocates of the use of intuitions in philosophy argue that they are treated as evidence because they are evidential. Their opponents agree that they are treated as evidence, but argue that they should not be so used, since they are the wrong kinds of things. In contrast to both, we argue that, despite appearances, intuitions are not treated as evidence in philosophy whether or not they should be. Our positive account is that intuitions are a subclass of inclinations to believe. (...) Our thesis explains why intuitions play a role in persuasion and inquiry, without conceding that they are evidential. The account also makes predictions about the structure of intuitions that are confirmed by independent arguments. (shrink)

Translated by Bernard Linsky This is the first English translation of Roman Ingarden’s paper presented at the 8th World Congress of Philosophy held in Prague in 1934: “Der Logistische Versuch einer Neugestaltung der Philosophie: Eine Kritische Bemerkung”, translated here as “The Logical Attempt at a New Formulation of Philosophy: A Critical Remark”. Also translated here are brief discussions by Rudolf Carnap and Otto Neurath. These essays were published in the original German in the Proceedings of the Congress in 1936. (...) This statement of Ingarden’s criticisms of the doctrines of the Vienna Circle has been mentioned in print, but his views have not been discussed, or indeed accurately reported to date. (shrink)

Ernst Mally’s Gegenstandstheoretische Grundlagen der Logik und Logistik (1912) proposes that the abstract object “the circle” does not satisfy the properties of circles, but instead “determines” the class of circles. In this he anticipates the notion of “encoding” that Edward Zalta proposes for his theory of Abstract Objects. It is argued that Mally did anticipate the notion of “encoding”, but sees it as a way of taking the concept as the subject of a proposition, rather than as a primitive notion (...) in the theory of a new ontological category of abstract objects, as Zalta does. (shrink)

This paper investigates the strange case of an argument that was directed against a positivist verification principle. We find an early occurrence of the argument in a talk by the phenomenologist Roman Ingarden at the 1934 International Congress of Philosophy in Prague, where Carnap and Neurath were present and contributed short rejoinders. We discuss the underlying presuppositons of the argument, and we evaluate whether the attempts by Carnap (especially) actually succeed in answering this argument. We think they don’t, and offer (...) instead a few sociological thoughts about why the argument seems to have disappeared from the profession’s evaluaton of the positivist criterion of verifiability. (shrink)

The history of the regulation of animal research is essentially the history of the emergence of meaningful social ethics for animals in society. Initially, animal ethics concerned itself solely with cruelty, but this was seen as inadequate to late 20th-century concerns about animal use. The new social ethic for animals was quite different, and its conceptual bases are explored in this paper. The Animal Welfare Act of 1966 represented a very minimal and in many ways incoherent attempt to regulate animal (...) research, and is far from morally adequate. The 1985 amendments did much to render coherent the ethic for laboratory animals, but these standards were still inadequate in many ways, as enumerated here. The philosophy underlying these laws is explained, their main provisions are explored, and future directions that could move the ethic forward and further rationalize the laws are sketched. (shrink)

Artykuł, opublikowany po raz pierwszy w 1979 r., jest jednym z najczęściej cytowanych tekstów filozoficznych z drugiej połowy XX wieku. Tekst Bernarda Williamsa zainicjował kilka ważnych debat, toczących się do dziś w etyce i filozofii działania. Zaproponowana przez niego interpretacja pojęcia racji działania jest, z jednej strony, niezwykle wpływowa, ale z drugiej bardzo niejednoznaczna i często krytykowana. Williams broni stanowiska, które z czasem zaczęto określać jako internalizm racji: pewne względy są racjami działania dla danego podmiotu tylko wtedy, gdy mają ścisły (...) związek z "subiektywnym układem motywacyjnym" tego podmiotu, czyli z jakimiś aspektami jego psychiki, charakteru, celów, pragnień, planów, relacji z innymi itd. Stwierdzenie, że ktoś ma rację, by coś zrobić (a jeśli uznajemy, że jest to racja przeważająca - to, że powinien to coś zrobić), znaczy więc wedle tego stanowiska tyle, że ten ktoś jest w stanie być motywowany, by to coś zrobić. W przeciwieństwie do tego stanowisko określane obecnie ako eksternalizm racji głosi, że pewne względy mogą być racjami działania dla danego podmiotu także wtedy, gdy odwołują się do niezależnych od jego układu motywacyjnego własności świata. Williams wychodzi od modelu działania nawiązującego do koncepcji Hume'owskiej, następnie przedstawia jego bardziej rozbudowaną wersję, omawia rolę namysłu, naturę potrzeb, a także przedstawia argument za internalizmem racji, określany jako argument z wyjaśniania działania. Głosi on, że nawet gdyby istniały zewnętrzne racje działania, niezwiązane z subiektywnym układem motywacyjnym danego podmiotu, to odwołanie się do nich nie byłoby w stanie wyjaśnić, dlaczego dany podmiot postąpił tak, a nie inaczej, gdyż "nic nie jest w stanie wyjaśnić (zamierzonych) działań podmiotu za wyjątkiem czegoś, co motywuje go działania". (shrink)

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

This is the first English translation of Leon Chwistek’s “Tragedia werbalnej metafizyki,” Kwartalnik Filozoficzny, Vol. X, 1932, 46–76. Chwistek offers a scathing critique of Roman Ingarden’s Das literarische Kunstwerk and of the entire Phenomenology movement. The text also contains many hints at Chwistek’s own philosophical and formal ideas. The book that Chwistek reviews attracted wide attention and was instrumental in winning Ingarden a position as Professor of Philosophy at the University of Lwów in 1933. Chwistek’s alienation from his fellow logicians (...) of the Lvov-Warsaw school is clear from his ridicule of Leśniewski’s project. (shrink)

The influential proposal that the analytical component of a theory is captured by its ‘Carnap sentence’ is critically scrutinized. A counterexample which makes the suggestion problematic is presented.

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)

The Homeostatic Property Cluster (HPC) account of natural kinds has become popular since it was proposed by Richard Boyd in the late 1980s. Although it is often taken as a defining natural kinds as such, it is easy enough to see that something's being a natural kind is neither necessary nor sufficient for its being an HPC. This paper argues that it is better not to understand HPCs as defining what it is to be a natural kind but instead as (...) providing the ontological realization of (some) natural kinds. (shrink)

The accepted narrative treats John Stuart Mill’s Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill’s nineteenth-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill’s two notions offer separate answers to the two questions: natural groups (...) for taxonomy and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative that treats our natural kinds just as a development of Mill’s Kinds. (shrink)

Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls short, and (...) so it might figure in the most coherent account of scientific practice. However, this best account will be antirealist in some respects and about some theories. It will not be a sweeping antirealism about all or most of science. (shrink)

Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...) and elaborating their structure, but not pretending to jump ahead to a complete story about fundamental being. (shrink)

The article describes the background of Roman Ingarden's 1922 review of Leon Chwistek's book Wielość rzeczywistości, and the back-and-forth that followed. Despite the differences, the two shared some interesting similarities. Both authors had important ties to the intellectual happenings outside Poland and were not considerd mainstream at home. In the end, however, it is these connections that allowed them to gain recognition. Ingarden, who had been a student of Husserl, became the leading phenomenologist in the postwar Poland. For Chwistek, a (...) painter, philosopher, and logician interested in Russell’s work, such connections meant that he won the competition for a professorship at the university in Lwów over Alfred Tarski. Until recently, Chwistek’s place in Polish logic remains unclear and Ingarden’s interactions with Polish logic and the Vienna Circle have not been investigated extensively. A deeper look at this intellectual fracas between Ingarden and Chwistek helps one in the study of the complicated mesh of alliances within the Lwów-Warsaw School. The article also identifies the origins of the split between phenomenology and the analytic philosophical tradition in Poland. The article is also accompanied by the translations of the reviews. (shrink)

Homeostatic property clusters (HPCs) are offered as a way of understanding natural kinds, especially biological species. I review the HPC approach and then discuss an objection by Ereshefsky and Matthen, to the effect that an HPC qua cluster seems ill-fitted as a description of a polymorphic species. The standard response by champions of the HPC approach is to say that all members of a polymorphic species have things in common, namely dispositions or conditional properties. I argue that this response fails. (...) Instances of an HPC kind need not all be similar in their exhibited properties. Instead, HPCs should instead be understood as unified by the underlying causal mechanism that maintains them. The causal mechanism can both produce and explain some systematic differences between a kind’s members. An HPC kind is best understood not as a single cluster of properties maintained in stasis by causal forces, but as a complex of related property clusters kept in relation by an underlying causal process. This approach requires recognizing that taxonomic systems serve both explanatory and inductive purposes. (shrink)

The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

There are two senses of ‘what scientists know’: An individual sense (the separate opinions of individual scientists) and a collective sense (the state of the discipline). The latter is what matters for policy and planning, but it is not something that can be directly observed or reported. A function can be defined to map individual judgments onto an aggregate judgment. I argue that such a function cannot effectively capture community opinion, especially in cases that matter to us.